universal construction

• In general, the universal constructions in category theory
  • include
    • representable functor
    • adjoint functor
    • limit/colimit
    • end/coend
    • Kan extension
    • dependent sum/dependent product
  • Each of these may be defined by requiring it to satisfy a universal property.

...